background-image: linear-gradient(to bottom, mix(black, $bg_color, 6%) 5%,
mix(black, $bg_color, 4%));
// FIXME no space for outer shadow : box-shadow: 0 1px 1px rgba(0,0,0,.5);
- padding: 4px;
- // .button { padding: 6px; }
+ padding: 0 4px;
+ .button { padding: 6px; }
}
/*************
border-color: #1c1f1f;
border-radius: 0 0 6px 6px;
background-image: linear-gradient(to bottom, #353b3b 5%, #363c3c);
- padding: 4px; }
+ padding: 0 4px; }
+ .app-notification .button {
+ padding: 6px; }
/*************
* Expanders *
border-color: #a1a1a1;
border-radius: 0 0 6px 6px;
background-image: linear-gradient(to bottom, #dedede 5%, #e3e3e3);
- padding: 4px; }
+ padding: 0 4px; }
+ .app-notification .button {
+ padding: 6px; }
/*************
* Expanders *